Specware to Isabelle Interface Manual Specware to Isabelle Interface Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC

Source URL: www.specware.org

• Software engineering
• Mathematical logic
• Logic
• Proof assistants
• Type theory
• Logic in computer science
• Automated theorem proving
• Isabelle
• Predicate logic
• HOL
• Quantifier
• ML

Diamond SciSoft Python Guide Release 1.0 Diamond Light Source, Scientific Software Team January 21, 2016

Source URL: www.opengda.org

• Object-oriented programming languages
• Scripting languages
• Array programming languages
• Mathematical software
• Cross-platform software
• NumPy
• Matplotlib
• Jython
• SciPy
• SageMath
• Hierarchical Data Format
• Array data type

Specifying and Verifying 
 Concurrent
 Algorithms with 
 Histories and Subjectivity memoria software v3.qxd

Source URL: software.imdea.org

• Algebra
• Mathematics
• Abstract algebra
• Semigroup theory
• Algebraic structures
• Mathematical logic
• Category theory
• Monoid
• Algorithm
• Concurrent algorithm

April 22, 2013 Welcome Summary  

Source URL: www.cytoscape.org

• Systems biology
• Graph drawing software
• Cross-platform software
• Mathematical and theoretical biology
• Cytoscape
• Biological databases
• OSGi
• BioMart
• App store
• Mac App Store

NeXO USER MANUAL Navigation with Cytoscape The NeXO_x_x.cys is a Cytoscape session file that can be loaded directly into Cytoscape (available from http://www.cytoscape.org/) to allow for visualization and interactive ana

Source URL: chardonnay.ucsd.edu

• Biology
• Systems biology
• Systems science
• Software
• Cross-platform software
• Cytoscape
• Graph drawing software
• Mathematical and theoretical biology
• Molecular biology
• Ontology
• SWI/SNF
• Gene

GIVING A TALK BRYNA KRA No one likes to sit through a bad talk, but unfortunately everyone does it much too frequently. And no one sets out to give a bad talk, but probably all of us have done so. Paul Halmos [1] wrote a

Source URL: www.math.northwestern.edu

• Statements
• Structure
• Public speaking
• Presentation software
• Knowledge
• Chalk talk
• Illustration
• Theorem
• Mathematical proof
• Philosophy
• Beamer
• Presentation program

The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation. James M. Boyle z1 , Maurice Clint, Stephen Fitzpatrick 2 , Terence J. Harmer The Queen’s University of Belfast Department o

Source URL: www.kestrel.edu

A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Mathematical logic
• Theoretical computer science
• Software engineering
• Computability theory
• System F
• Calculus
• Continuation
• Church encoding
• Deductive lambda calculus

Diamond SciSoft Python Guide Release 1.0 Diamond Light Source, Scientific Software Team January 21, 2016

Source URL: www.opengda.org

• Object-oriented programming languages
• Scripting languages
• Array programming languages
• Cross-platform software
• Mathematical software
• NumPy
• Matplotlib
• Jython
• SciPy
• Hierarchical Data Format
• SageMath
• ROOT